Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report: 755 (Lecture Notes in Computer Science)
by Steve Schuman,Helmut Partsch,Bernhard M??ller
ISBN 13: 9783540574996
Format: Paperback (388 pages) Publisher: Springer Published: 13 Jun 2008
Save for later